Probabilistically checkable proof - PDFSEARCH.IO - Document Search Engine

Probabilistically checkable proof
Results: 138

#	Item
11	Microsoft Word - CMPCN PCP Change Form Add to Reading List Source URL: www.cmpcn.org Language: English - Date: 2015-04-27 15:56:11 Phencyclidine Piperidines Fax Probabilistically checkable proof Medicine Technology Neurochemistry Euphoriants
12	Lance Jeremy Fortnow Georgia Institute of Technology School of Computer Science 266 Ferst Drive Atlanta, GA 30332 Add to Reading List Source URL: lance.fortnow.com Language: English - Date: 2014-06-05 11:48:59 Carsten Lund Computational learning theory Sparse language IP ACM SIGACT Computer science International Colloquium on Automata Languages and Programming Interactive proof system Probabilistically checkable proof Theoretical computer science Applied mathematics Computational complexity theory
13	Non-interactive Designated Verifier Proofs and Undeniable Signatures Caroline Kudla? and Kenneth G. Paterson Information Security Group Royal Holloway, University of London, UK {c.j.kudla,kenny.paterson}@rhul.ac.uk Add to Reading List Source URL: www.isg.rhul.ac.uk Language: English - Date: 2005-09-06 11:06:02 Ring signature Designated verifier signature Zero-knowledge proof NP Undeniable signature Commitment scheme IP Public-key cryptography Probabilistically checkable proof Cryptography Digital signature Proof of knowledge
14	Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-03-10 19:40:43 Probabilistic complexity theory IP Probabilistically checkable proof NP Vector space Soundness MAX-3SAT Algebra Mathematics Theoretical computer science
15	Ayaka Kurata PCP 9th 23rd March, 2015 Before I begin my speech I would like to say, thank you for giving me a chance to make a speech here today. I feel very honoured to be able to stand here in front of you all. I haven Add to Reading List Source URL: www.econ.keio.ac.jp Language: English - Date: 2015-03-30 04:50:04 Piperidines Probabilistically checkable proof Medicine Biochemistry Neurochemistry Euphoriants Phencyclidine
16	Presburger Award 2012 The Presburger Award Committee 2012, consisting of Monika Henzinger, Antonin Kucera, and Stefano Leonardi (chair) has unanimously decided to propose *********************************************** Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:45:05** Applied mathematics Mathematics Computational complexity theory List decoding Venkatesan Guruswami Probabilistic complexity theory Presburger Award Reed–Solomon error correction Probabilistically checkable proof Error detection and correction Theoretical computer science Coding theory
17	Unlike most of my friends at PCP, I had never had a chance to live abroad and experience different culture. I was born in Osaka, and I had spent my whole time in Osaka until I entered University. So honestly, when I join Add to Reading List Source URL: www.econ.keio.ac.jp Language: English - Date: 2015-03-30 05:27:38 Phencyclidine Medicine Biochemistry Neurochemistry Probabilistic complexity theory Probabilistically checkable proof
18	PDF Document Add to Reading List Source URL: www.easa.europa.eu Language: English - Date: 2015-05-30 19:38:15 System Wide Information Management Probabilistically checkable proof Transport Air traffic control Federal Aviation Administration Aviation
19	PDF Document Add to Reading List Source URL: www.simpleindex.com Language: English - Date: 2011-07-11 14:40:18 Science Document management systems Information technology management Content management systems Document capture software SharePoint Workflow Portable Document Format Probabilistically checkable proof Computing Artificial intelligence applications Artificial intelligence
20	Microsoft Word - V-Con_Factsheet_final.doc Add to Reading List Source URL: www.rijkswaterstaat.nl Language: English - Date: 2014-04-05 02:57:38 Neurochemistry Probabilistic complexity theory Computer-aided design Data modeling Infrastructure Real estate Phencyclidine Rijkswaterstaat Probabilistically checkable proof Construction Architecture Building information modeling